We study when an aggregation function acting on an n-tuple of T-subgroups preserves the structure of T-subgroup. First we need to consider that there are two known definitions applicable to the aggregation of structures on fuzzy sets. These two notions differ in the domain of the aggregated structure. It is known that for indistinguishability operators, pseudometrics, quasi-pseudometrics among others, the aggregation functions that preserve these structures are the same with both definitions. However this is not the case for quasi-metrics. In this line we study the aggregation of T-subgroups with both definitions and their implications. We see that aggregation functions may preserve the structure of T-subgroups with one definition but not with the other. However, under adequate restrictions, the aggregation functions preserving the structure of T-subgroups are the same with either definition. We also show that the results depend on the structure of the subgroup lattice of the ambient group, the particular T-subgroups being aggregated, or the aggregation function.

In this work, we study when an aggregation operator preserves the structure of T-subgroup of groups whose subgroup lattice is a chain. There are two widely used ways of defining the aggregation of structures in fuzzy logic, previously named on sets and on products. We will focus our attention on the one called aggregation on products. When the lattice of subgroups is not a chain, it is known that the dominance relation between the aggregation operator and the t-norm is crucial. We show that this property is again important for some of the groups in this study. However, for the rest of them, we must define a new property weaker than domination, that will allow us to characterize those operators which preserve T-subgroups.